Reasoning About Unpredicted Change and Explicit Time
نویسندگان
چکیده
Reasoning about unpredicted change consists in explaining observations by events; we propose here an approach for explaining time-stamped observations by surprises, which are simple events consisting in the change of the truth value of a uent. A framework for dealing with surprises is deened. Minimal sets of surprises are provided together with time intervals where each surprise has occurred, and they are characterized from a model-based diagnosis point of view. Then, a probabilistic approach of surprise minimisation is proposed.
منابع مشابه
Occupational Therapists\' Clinical Reasoning: A Qualitative Study
Objectives: Clinical reasoning is at the heart of clinical work; it is affected by different field factors. A clear understanding of the reasoning process could solve practitioners' problems on how to make their underlying theories, assumptions and values more explicit. The aim of this research is to understand how clinical reasoning process is formed in the context of occupational therapists w...
متن کاملSyntactic Knowledge: A Logic of Reasoning, Communication and Cooperation
This paper presents a logic for reasoning about the explicit knowledge of agents who represent their knowledge as finite sets of logical formulae, and who can change their knowledge by reasoning and communicating. No assumptions about closure or consistency conditions on the sets, or about soundness or completeness of the reasoning mechanisms, are made. Traditional epistemic logic, based on mod...
متن کاملMarek A . Bednarczyk Explicit Substitution into Action A non - monotone logic for reasoning about actions and change Nr 942 Warszawa , February 2002
A logic LP σ for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the...
متن کاملA Logic of Finite Syntactic Epistemic States
The thesis presents a logic of the explicit knowledge of deliberative agents who represent their knowledge symbolically as sets of formulae – agents with finite syntactic epistemic states. It is well known that modal epistemic logic either describes implicit knowledge, including all logical consequences of the explicit knowledge, or describes the explicit knowledge of unrealistically intelligen...
متن کاملThe Transition Calculus: a high-level formalism for reasoning about action and change
The majority of existing formalisms for reasoning about action and change require explicit references to low level entities such as time points or situations whether or not these are a relevant feature of the problem in hand. In this paper we present Transition Calculus, an alternative, high level approach, in which actions are directly modelled in terms of the state changes that they bring abo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997